$\forall$${\it es}$:ES. es{-}interface{-}empty(${\it es}$;Empty)